21. Combinatorial Optimization and Applications
پدیدآورنده : \ [edited by] Zaixin Lu...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Combinatorial optimization -- Congresses.,Computer science -- Mathematics -- Congresses.,بهینهسازی ترکیبی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
164
.
C6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
22. Computer Aided Surgery
پدیدآورنده : \ [edited by] Masakatsu Fujie
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer-assisted surgery -- Congresses.,Surgery, Computer-Assisted.,جراحی به کمک کامپیوتر -- کنگره ها ,جراحی به کمک کامپیوتر
رده :
RD
29
.
7
.
C6
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
23. Computer Algebra and Polynomials
پدیدآورنده : \ [edited by] Jaime Gutierrez, Josef Schicho, Martin Weimann.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer algebra -- Congresses.,Number theory -- Congresses.,Polynomials -- Congresses.,جبر کامپیوتر -- کنگره ها,نظریه اعداد -- کنگره ها ,چند جملهایها -- کنگره ها
رده :
QA
150
.
C6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
24. Computer-Assisted and Robotic Endoscopy.
پدیدآورنده : \ [Edited by] Xiongbiao Luo...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer-assisted surgery -- Congresses.,Computer-assisted surgery.,جراحی به کمک کامپیوتر -- کنگره ها ,جراحی به کمک کامپیوتر
رده :
RD
29
.
7
.
C6
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
25. Computer Engineering and Technology
پدیدآورنده : \ [Edited by] Weixia Xu...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer engineering -- Congresses.,Computer science -- Congresses.,Information technology -- Congresses.,مهندسی کامپیوتر -- کنگره ها ,علوم کامپیوتر -- کنگرهها ,تکنولوژی اطلاعات -- کنگرهها
رده :
TK
5
.
C6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
26. Computer Science in Industrial Application
پدیدآورنده : \ editor, Yanglv Ling
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Information technology -- Congresses,Industrial management -- Congresses.,علوم کامپیوتر - کنگره ها,فن آوری اطلاعات - کنگره ها,مدیریت صنعتی - کنگره ها
رده :
QA
75
.
5
.
C657
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
27. Computer Vision in Human-Computer Interaction
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Human-computer interaction -- Congresses,Computer vision -- Congresses,انسان و کامپیوتر -- کنگرهها,بینایی ماشین -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)
28. Computer vision
پدیدآورنده : \ [Edited by] Hongbin Zha...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Artificial intelligence,هوش مصنوعی,a04,a04,Computer vision -- Congresses.,Pattern perception,بینایی کامپیوتر - کنگره ها,درک الگو
رده :
.
C657
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
29. Cooperative Information Agents XII
پدیدآورنده : \ Matthias Klusch, Michal Pechoucek, Axel Polleres (eds.).
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Intelligent agents (Computer software) -- Congresses.,Internet -- Congresses.,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگره ها,اینترنت -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
30. Correct System Design
پدیدآورنده : \ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67C6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
31. Descriptional Complexity of Formal Systems
پدیدآورنده : \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
32. Distributed, Ambient, and Pervasive Interactions.
پدیدآورنده : \ Norbert Streitz , Panos Markopoulos (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Human-computer interaction -- Congresses.,Ubiquitous computing -- Congresses,انسان و کامپیوتر -- کنگرهها ,محاسبه فراگیر -- کنگره ها
رده :
QA
76
.
9
.
D5
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
33. EP92 : proceedings of Electronic Publishing 1992
پدیدآورنده : / edited by C. Vanoirbeek & G. Coray , Swiss Federal Institute of Technology.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : نشر الکترونیکی-- کنگره ها,متن پردازی( کامپیوتر) -- کنگره ها,حروفچینی کامپیوتری-- کنگره ها,مدرک رسانی-- کنگره ها
رده :
Z
۲۴۹
/
الف
۹
الف
۹ ۱۳۷۱
![](/design/images/bookmore.png)
34. FM 2015
پدیدآورنده : \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روشهای صوری (کامپیوتر) -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
35. Formal Aspects of Component Software
پدیدآورنده : \ [Edited by] Christiano Braga, Peter Csaba Ölveczky
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
رده :
QA
76
.
9
.
F67
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
36. Formal Aspects of Component Software
پدیدآورنده : \ [edited by] Ivan Lanese, Eric Madelaine.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
37. Formal Methods
پدیدآورنده : \ [edited by] Christiano Braga, Narciso Marti-Oliet.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
.
F67
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
38. Formal methods
پدیدآورنده : \ Márcio Cornélio , Bill Roscoe (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),روشهای صوری (کامپیوتر) -- کنگره ها ,روشهای صوری (کامپیوتر)
رده :
QA
76
.
9
.
F67
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
39. Future Internet Technologies and Trends
پدیدآورنده : \ Zuber Patel, Shilpi Gupta (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses. ,Internet -- Technological innovations -- Congresses.,علوم کامپیوتر -- کنگرهها ,اینترنت -- نوآوری -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)
40. Genetic Programming
پدیدآورنده : \ [edited by] Penousal Machado...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Genetic programming (Computer science) -- Congresses.,برنامهنویسی ژنتیک (کامپیوتر) -- کنگره ها
رده :
QA
76
.
623
.
G4
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)